how to use len with in python